521. Formalization of Natural Languages
پدیدآورنده : by Peter Kümmel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Acoustics.,Physics.
رده :
P128
.
F67
B974
1979
522. Formalization of Programming Concepts:
پدیدآورنده : J Diaz
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming.,Computer science.,Software engineering.
رده :
QA76
.
6
J353
1981
524. Forms of becoming :
پدیدآورنده : Alessandro Minelli ; Mark Epstein, translator.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Evolutionary developmental biology.,Entwicklungsbiologie,Evolution,Evolutionary developmental biology.
رده :
QH491
.
M559513
2009
525. Foundation of switching theory and logic design /
پدیدآورنده : A.K. Singh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic design.,Switching theory.,Logic design.,Switching theory.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7868
.
S9
S56
2008eb
526. Foundations of Knowledge Systems With Applications to Databases and Agents.
پدیدآورنده : Wagner, Gerd.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA76
.
76
.
E95
W346
2012
527. Foundations of Logic Programming
پدیدآورنده : by John Wylie Lloyd.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
QA76
.
6
B956
1984
528. Foundations of Programming Languages /
پدیدآورنده : by Kent D. Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Microprogramming.,Programming languages (Electronic computers),Computer science.,Computer Science.,Control Structures and Microprogramming.,Mathematical and Computational Engineering.,Microprogramming.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Computer science.,Microprogramming.,Programming languages (Electronic computers)
رده :
QA76
.
76
.
C65
529. Foundations of evidence-based medicine /
پدیدآورنده : Milos Jenicek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Evidence-based medicine.,Evidence-Based Medicine-- methods.,Evidence-based medicine.,Evidence-based practice.,Evidenz-basierte Medizin
رده :
R723
.
J465
2003
530. Foundations of programming languages /
پدیدآورنده : Kent D. Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers)
رده :
QA76
.
7
531. Foundations of software technology and theoretical computer science :
پدیدآورنده : ed. by S.N. Maheshwari.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Computer programming.,Computers -- Congresses.
532. Frege :
پدیدآورنده : Harold W. Noonan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Frege, Gottlob,(1848-1925),Frege, Gottlob,1848-1925,Frege, Gottlob,1848-1925.,Frege, Gottlob.,Analysis (Philosophy),Mathematicians-- Germany-- 20th century.,Philosophers-- Germany-- 20th century.,Philosophy, German-- 20th century.,Philosophy, Modern.,Analysis (Philosophy),Betekenis.,Mathematicians.,Philosophers.,Philosophy, German.,Philosophy, Modern.,Symbolische logica.,Germany., 7
رده :
B3245
.
F24
N66
2001
533. Frege's Theorem.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Arithmetic-- Philosophy.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,PHILOSOPHY-- History & Surveys-- General.,PHILOSOPHY-- History & Surveys-- Modern.
رده :
B29
.
A2465
2009
534. Frege's logic /
پدیدآورنده : Danielle Macbeth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica.,PHILOSOPHY-- Logic.
رده :
B3245
.
F24
M36
2005eb
535. From Africa to Zen :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Philosophy-- History.,PHILOSOPHY-- History & Surveys-- General.,Philosophy.
رده :
B73
.
F76
2003
536. From subjectivity to agency :
پدیدآورنده : Saunders, Natasha E. G.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Hannah Arendt,Michel Foucault,Refugees and asylum seekers,Subjectivity
537. Frontiers of Expert Systems
پدیدآورنده : by Chilukuri Krishna Mohan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
538. Fundamental concepts of modern mathematics
پدیدآورنده : Larsen, Max D.
موضوع : ، Logic, Symbolic and mathematical,، Arithmetic-- Foundations,، Set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
539. Fundamental approach to discrete mathematics /
پدیدآورنده : D.P. Acharjya, Sreekumar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematics.,Mathematics.
رده :
QA36
.
A24
2009eb
540. Fundamental statistics for the behavioral sciences /
پدیدآورنده : David C. Howell
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Psychometrics,Social sciences-- Statistical methods,Psychometrics,Social Sciences
رده :
HA29
.
H78
2014
